Merge pull request #411 from jcastillo-arm/jc/plat_bl1_exit
authordanh-arm <[email protected]>
Wed, 21 Oct 2015 11:12:12 +0000 (12:12 +0100)
committerdanh-arm <[email protected]>
Wed, 21 Oct 2015 11:12:12 +0000 (12:12 +0100)
Jc/plat bl1 exit


Trivial merge